Decentralized Control of Petri Nets
نویسندگان
چکیده
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communication, and with no communication. In the case of communication, a local supervisor may receive observations of events that are not locally observable and send enabling decisions concerning events that are not locally controllable. In the first part of the paper we propose efficient algorithms for the design of decentralized supervisors, based on the extension of the SBPI concept of admissibility that we define. Then, in the second part of the paper, we propose the design of decentralized supervisors based on transformations to admissible constraints. The feasibility of this problem is demonstrated with a simple integer programming approach. This approach can incorporate communication between local supervisors as well as communication constraints.
منابع مشابه
Admissible Decentralized Control of Petri Nets
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملReport: Decentralized Control of Continuous Petri Nets
Aiming to reach a desired final state from a given initial one, this paper focuses on decentralized control of systems modeled by continuous Petri nets. The general PN systems considered in the paper are composed by subsystems interconnected by places (modeling buffers). Local control laws are first computed separately in subsystems, but “incorrectly” chosen ones may cause the reachability prob...
متن کاملSynthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places
Petri nets are a formal tool for describing processes in a many of important technical and social applications. Their advantage over other related type instruments is very effective modeling of parallelism. This makes it easy to avoid improper behavior process. This article deals with the use of Petri nets for modeling specific type of control of dynamic systems, which reduces improper behavior...
متن کامل